2

Quantum programming languages: A tentative study

Year:
2008
Language:
english
File:
PDF, 171 KB
english, 2008
10

A syntactic proof of the conservativity of λωover λ2

Year:
1999
Language:
english
File:
PDF, 319 KB
english, 1999
11

Quantum software framework: a tentative study

Year:
2013
Language:
english
File:
PDF, 1.06 MB
english, 2013
12

Grover walks on a line with absorbing boundaries

Year:
2016
Language:
english
File:
PDF, 1.10 MB
english, 2016
14

The self-reduction in lambda calculus

Year:
2000
Language:
english
File:
PDF, 93 KB
english, 2000
15

The expansion postponement in Pure Type Systems

Year:
1997
Language:
english
File:
PDF, 444 KB
english, 1997
16

Entanglement Detection via Direct-Sum Majorization Uncertainty Relations

Year:
2020
Language:
english
File:
PDF, 884 KB
english, 2020
31

Uncertainty relations in the presence of quantum memory for mutually unbiased measurements

Year:
2018
Language:
english
File:
PDF, 191 KB
english, 2018